Tait's conjecture